Methoden der Diffusions-Untersuchung

Synthese und Untersuchung der Lanthanoidoxidnitrate

The lanthanide oxide nitrates LnONO3 with Ln = Pr, Nd, and Sm-Yb were synthesised by thermal decomposition of hydrated lanthanide nitrates. The compounds were refined isotypically to YONO3 in the tetragonal space group P4/nmm and the structure is closely related to the PbFCl-type. Because of the orientational disorder of NO3− in this structure refinement a possible superstructure is discussed. ...

Empirische Untersuchung der agilen Softwareentwicklung

Methoden der Diskreten Mathematik bei

Formale Methoden der Künstlichen Intelligenz

Aufgrund der zunehmenden Komplexität von Hardund Softwaresystemen werden computergestützte formale Methoden in der Zukunft immer weiter an Bedeutung zunehmen. Aufgabe dieser Methoden ist es, menschlichen Benutzern bei der Verifikation und Synthese von Computersystemen auf intelligente Weise zu assistieren. In diesem Artikel werden Ziele, Herausforderungen und Entwicklungen im Bereich formaler M...

Methoden als Theorien der Wirtschaftsinformatik